
#session {
    float: right;
    text-align: right;
}

#session input {
    width: 20em;
}

#cmd {
    display: block;
    white-space: nowrap;
    margin-right: 5em;
}

#cmd_in {
    width: auto;
    width: 100%;
}

#cmd_exec {
    clear: right;
    float: right;
}

#output {
    position: absolute;
    top: 6em;
    left: 0;
    right: 0;
    bottom: 0;
    clear: both;
}

#output iframe {
    width: 100%;
    height: 100%;
    border: none;
}

